${\it ff}$.T $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$let $C$,$T$,$S$,$R$,${\it codes}$,${\it decodes}$,$p$ = ${\it ff}$ in $T$